理論プログラミングの主題と他の数学諸分野との関連 MTCシンポジウムの講演より